摘要 :
This paper presents the first purely algebraic characterization of classes ofpartial algebras definable by a set of strong equations. This result was posible due to newtools such as invariant congruences, i.e. a generalization of ...
展开
This paper presents the first purely algebraic characterization of classes ofpartial algebras definable by a set of strong equations. This result was posible due to newtools such as invariant congruences, i.e. a generalization of the notion of a fully invariantcongruence, and extension of algebras, specific for strong equations.
收起
摘要 :
This paper presents the first purely algebraic characterization of classes of partial algebras definable by a set of strong equations. This result was posible due to new tools such as invariant congruences, i.e. a generalization o...
展开
This paper presents the first purely algebraic characterization of classes of partial algebras definable by a set of strong equations. This result was posible due to new tools such as invariant congruences, i.e. a generalization of the notion of a fully invariant congruence, and extension of algebras, specific for strong equations. Keywords partial algebra - equational logic - equation - strong equational class Presented by Wieslaw Dziobiak
收起
摘要 :
We investigate first order sentences valid in completions of a given partial algebraic structure - a partial model. We give semantic and syntactic description of the set of all sentences valid in every completion of the given part...
展开
We investigate first order sentences valid in completions of a given partial algebraic structure - a partial model. We give semantic and syntactic description of the set of all sentences valid in every completion of the given partial model - first order theory of this model.
收起